type scheme

A typing of an expression which may include {type variable}s.

E.g.

\ x . x :: a -> a

where a is a {generic type variable} which may be instantiated

to any type.

(1994-10-31)